@Manual{1,
  title =	"02241 Robust Programming in .NET - Project Description",
  author =	"Christian Probst and Terkel Tolstrup",
  organization =	"Technical University of Denmark",
  year = 	"Fall 2007"
}

@Article{ barnett-spec,
  author = "Mike Barnett and K. Rustan M. Leino and Wolfram Schulte",
  title = "The Spec# Programming System: An Overview",
  journal = "http://citeseer.ist.psu.edu/649115.html" }
  
@Article{ leino-exception,
  author = "K. Rustan M. Leino and Wolfram Schulte",
  title = "Exception safety for C\#",
  journal = "http://citeseer.ist.psu.edu/leino04exception.html" }
  
 
@Article{svn,
  author = "Rajesh Bachani and Markku Eerola and Jakob Hommelhoff Jensen",
  title = "The Project Repository",
  journal = "http://robust-programming-project.googlecode.com/svn/trunk/" }
